semantic tableaux algorithm
un. 语义表格算法
热门查询
- moonshine n. 月光；空谈
- avuncular adj. 伯父的；叔伯的；慈祥的
- urbane adj. 彬彬有礼的，温文尔雅的；都市化的
- celluloid n. 赛璐珞；（美俚）电影（胶片）
- pitfall n. 陷阱，圈套；缺陷；诱惑
- moue n. 怪相；（表示不满、厌恶、鄙夷等的）撅嘴 n. (Moue)人名；(日)茂上(姓)
- Eritrea n. 厄立特里亚国（东非国家）；厄立特里亚省（埃塞俄比亚北部省份）
- itemized adj. 编位号的；逐项逐笔登记的 v. 逐条记载（itemize的过去分词）
- cower vi. 退缩；抖缩；蜷缩；弯腰屈膝
- excluded v. 排除（exclude的过去式和过去分词）；驱逐；拒绝接纳 adj. 排除的
- three-quarter adj. 四分之三的；大半身的 n. 橄榄球中后卫队员
- decaying n. [核] 衰减；颓坏；腐蚀作用 adj. 衰减的；腐烂的；消散的 v. 腐烂；衰退；消瘦（decay的ing形式）
- soccer n. 英式足球，足球
- Greenham [人名] [英格兰人姓氏] 格里纳姆住所名称，来源于古英语，含义是“绿色+宅地”(green+homestead)
- upholsterer n. 家具商
- aldo abbr. aldosterone 醛固酮
- variance n. 变异；变化；不一致；分歧；[数] 方差
- insurgence n. 暴动；起义；造反；叛乱
- Thornbury [人名] [英格兰人姓氏] 索恩伯里 Thornber的变体; [地名] [加拿大、新西兰、英国] 桑伯里
- patriotically adv. 爱国地；忧国地
